#include <gtk/gtk.h>


void on_button1_clicked (GtkWidget *fenetre, gpointer data);
void on_button2_clicked                     (GtkWidget *fenetre, gpointer  data);

